Merge pull request #1464 from antonio-nino-diaz-arm/an/rpi3-ints
authorDimitris Papastamos <[email protected]>
Thu, 12 Jul 2018 10:52:53 +0000 (11:52 +0100)
committerGitHub <[email protected]>
Thu, 12 Jul 2018 10:52:53 +0000 (11:52 +0100)
rpi3: Implement simple interrupt routing


Trivial merge